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