document.write('8 1 5 1 ');