document.write(' 3912 ');