document.write(' 3472 ');