document.write(' 6047 ');