document.write (" 12243 ");