document.write(' 5312 ');