document.write (" 16012 ");