document.write('7 0 0 3 ');