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