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