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