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