document.write (" 5012 ");