document.write(' 1252');