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