document.write('5 0 7 ');