document.write('2 3 7 4 ');