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