document.write(' 5122 ');