<?php
/**
* @file
* Update functions for the HAL module.
*/
* Implements hook_update_last_removed().
function hal_update_last_removed() {
return 8501;
}