document.write(' 9246 ');