function clean_url() {
  // Get URL from text box
  strURL = document.getElementById('ilink_url').value;
  if (strURL.substring(0,6)=='http:/') {
    strURL = strURL.substring(7);
    document.getElementById('ilink_url').value = strURL;
  }
}