document.write (" 24512 ");