// This file is generated automatically. All manually added changes will be removed when running the Converter.

-	script	__anchors__	32767,{
OnInit:
    .ht = htnew();
    htput(.ht, "^FERMI|VOTE", "fermi 29 20");
    htput(.ht, "^HURN", "009-1 53 38");
    htput(.ht, "^KESH", "099-7 97 65");
    htput(.ht, "^NIVAL", "020-1 84 74");
    htput(.ht, "^NUMA", "017-9 36 27");
    htput(.ht, "^TULI", "001-1 84 100");
}