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