document.write (" 11412 ");