马云：“哈哈，女生的钱最好赚了！” 叠纸：“马云说得对！” 腾讯：“哇！真的耶！求代理！” 小P眼一眯，嘴角一挑，似乎发现了商机。不就是抽卡过关看CG么，我也能做啊！于是乎，一个月后，一款《恋与程序员》诞生了。 游戏里设置了n个事件，m个关卡，k张卡片。每一个事件都有一张独一无二的CG，但是每个关卡，都需要拥有特定的卡片才能通关。从一个事件，触发另一个事件，需要通过一个特定的关卡。我们给事件编号为1~n，对应的CG编号与事件的编号一致。卡片编号为1~k。一开始，玩家会触发事件1，并拿到1号CG，但是从此之后，玩家如果想触发别的事件，便要通过闯关来达到。 现在，小Q想要c号CG（触发c号事件获得），但是小Q却又不想花太多的钱。于是小Q查了攻略，以事件为点，关卡为边，作了一张图，并且小Q知道每个关卡都需要什么卡片以及卡片的售价。请你计算一下，小Q拿到c号CG，至少要花多少钱。 注意，过关并不需要消耗卡片，同一张卡片可以通关多次。

输入描述:

数据有多组，处理到文件结束。每组数据第一行有四个整数n，m，k，c，代表事件数量、关卡数量、卡片数量以及小Q想要的CG的编号。接下来m行，每行三个整数u，v，e，代表从u号事件可以通过闯关触发v号事件，并且需要e号卡片。接下来k行，每行两个整数a，b，代表a号卡片的售价是b。

输出描述:

每组数据输出一行，一个整数，代表小Q拿到c号CG的最小花费。

备注:

对于100%的数据，1 1 1 1 = b = 1000。