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