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