document.write(' 11402 ');