document.write(' 5225 ');