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