/* Miscellaneous Refstack JavaScript */