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