document.write('3 1 5 1 ');