document.write('4 7 0 8 0 ');