document.write(' 40112 ');