document.write (" 12532 ");