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