document.write (" 8252 ");