document.write ("252 ");