document.write('1 5 0 7 ');