document.write(' 5212 ');