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