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