document.write(' 4972 ');