document.write('3 9 8 0 ');