document.write (" 14012 ");