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