document.write(':1378')